1. Logische und methodische Grundlagen der Programm- und Systementwicklung :
Author: Manfred Broy ; unter Mitarbeit von Alexander Malkis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
